<?php
session_start();
if(isset($_SESSION['user']))
  unset($_SESSION['user']);

header(sprintf("Location: index.php"));
  
?>